#!/bin/sh
../bin/txl $*
